Expanding Database Systems into self-verifying Entities
نویسندگان
چکیده
The paper presents work-in-progress aiming at deploying runtime verification techniques to observe whether state changes in a database system conform with temporal business rules. A high level language for tailoring enterprise database systems with temporal business rules is defined. Furthermore we present an algorithmic framework for checking temporal business rules at runtime, i.e. we recommend on-line checking of data in the system as opposed to post-checking, i.e. off–line processing. A prototypical implementation of a runtime verifier (called Verification Server) based on this algorithmic framework is presented and dis-
منابع مشابه
Self-dual Koornwinder-macdonald Polynomials
We prove certain duality properties and present recurrence relations for a four-parameter family of self-dual Koornwinder-Macdonald polynomials. The recurrence relations are used to verify Macdonald's normalization conjectures for these polynomials. 1. Introduction In a to date unpublished but well-known manuscript, Macdonald introduced certain families of multivariable orthogonal polynomials a...
متن کاملUsing ODIN for a PharmGKB revalidation experiment
The need for efficient text-mining tools that support curation of the biomedical literature is ever increasing. In this article, we describe an experiment aimed at verifying whether a text-mining tool capable of extracting meaningful relationships among domain entities can be successfully integrated into the curation workflow of a major biological database. We evaluate in particular (i) the usa...
متن کاملWatchpoints : Debugging Large Modular Robot Systems
Distributed systems frequently exhibit properties of interest which span multiple entities. These properties cannot easily be recognized from any single entity, but can be readily detected by combining the knowledge of multiple entities. Testing for distributed properties is especially important in debugging or verifying software for modular robots. We have developed a technique we call distrib...
متن کاملIntroduction to the special issue on the use of entity-relationship concepts in databases and related software
This is a collection of selected papers from the Third International Conference on Entity-Relationship (ER) Approach. These papers deal with the development of both principles and pragmatics of the ER approach in computer data engineering and reflect the trends of the expanding and maturing nature of the ER concept in the areas of database logical design, data management and control, database-o...
متن کاملOn-Line Database Tuning
This paper introduces Colt (Continuous On-Line Tuning), a novel self-tuning framework that continuously monitors the incoming queries and adjusts the system configuration in order to maximize query performance. The key idea behind Colt is to gather performance statistics at different levels of detail and to carefully allocate profiling resources to the most promising candidate configurations. M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005